type T = (| string | number) & boolean
